nonvacuous occurrence

Вычислительная техника: невырожденное вхождение